型理論 インデックス
型理論
依存型理論
Martin-Löf型理論
型システム
Homotopy Type Theory(HoTT)
Cubical Type Theory
Observational Type Theory
Modal Homotopy Type Theory
型と圏論
型と集合
Sets as Types
型と論理
カリー＝ハワード対応
Propositions as Types
ハイパードクトリン
ホモトピー型理論から様相論理へのルートを考える
Modal Homotopy Type Theory
がホモトピー型理論と様相論理をあわせたもの
型とホモトピー
型をホモトピー的に扱う
Homotopy Type Theory(HoTT)
○○ as ○○
Sets as Types
Propositions as Types
型理論、依存型理論を学習する
パラドックス関連
可述的
非可述的
ラッセルのパラドックス
ジラールのパラドックス
Hurkensのパラドックス
型理論と論理と圏論
カリー／ハワード／ランベック対応
ハイパードクトリン
文献
型理論の文献
関連
形式手法
#インデックスページ
#ハブページ